package sve;

import graph.Graph;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.HashSet;

import sve.generator.Generator;

import com.sun.org.apache.bcel.internal.generic.LoadClass;

import cmdp.HierarchicalParser;
import xadd.XADD;
import xadd.XADD.Expr;

public class Driver {

	public static void main(String[] args) {
		SVE s = new SVE();
		s.load("./src/sve/test1");
		s.solve("o1", "b1");
		// Generator.generateDBN();
	}
}
